منابع مشابه
a new approach to credibility premium for zero-inflated poisson models for panel data
هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...
15 صفحه اولA New Rule for LTL Tableaux
Propositional linear time temporal logic (LTL) is the standard temporal logic for computing applications and many reasoning techniques and tools have been developed for it. Tableaux for deciding satisfiability have existed since the 1980s. However, the tableaux for this logic do not look like traditional tree-shaped tableau systems and their processing is often quite complicated. In this paper,...
متن کاملA Tableaux System for Deontic Interpreted Systems
We develop a labelled tableaux system for the modal logic KD45i− j n extended with epistemic notions. This logic characterises a particular type of interpreted systems used to represent and reason about states of correct and incorrect functioning behaviour of the agents in a system, and of the system as a whole. The resulting tableaux system provides a simple decision procedure for the logic. W...
متن کاملDesigning a New Model for Evaluating the Maintenance System
The previous studies about the maintenance systems were dealt with defining the evaluation criteria, grouping them, and using different techniques for evaluating. The main problem is that maintenance subsystems and the relationship between and within them in order to a reliable evaluation have never been identified before.The contribution of this study is realizing the four maintenance su...
متن کاملA New Clinical Scoring System for Adenoid Hypertrophy in Children
Introduction: Chronic nasal obstruction due to adenoid hypertrophy is a very common disorder. Although the clinical assessment of adenoid hypertrophy is essential, its real value in young children is difficult to evaluate. The purpose of this prospective study was to validate a simple clinical score to predict the severity of adenoid obstruction and to evaluate the relationship between this met...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: C.Q.D.- Revista Eletrônica Paulista de Matemática
سال: 2020
ISSN: 2316-9664
DOI: 10.21167/cqdvol19202023169664rafhafvv8396